Molécules modèles des motifs des poly-1,4-glucosides. II. Etude, par spectroscopie infrarouge, des conformations chélatées des diastéréoisomères modèles et discussion dans le cadre des chélations glucosidiques

Etude des symétries dans les modèles finis

Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been ins...

Etude structurelle des réseaux : modèles aléatoires, motifs et cycles

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Transformation des contraintes d'intégrité - Des modèles conceptuels vers le relationnel

RÉSUMÉ. Dans un modèle conceptuel, les contraintes d'intégrité représentent une partie intégrante dont la définition est nécessaire pour exprimer aux mieux la sémantique du réel perçu. Toutefois, ces contraintes même si elles sont exprimées au niveau conceptuel, elles sont très souvent ignorées lors du passage vers le niveau logique. En pratique, la majorité des AGL de modélisation ne supporten...

Etude sur l'Agalaxic contagieuse des chèvres et des moutons

Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats - Etude des protocoles récursifs